Details

analyze354.0ms (22.5%)

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
15.6%	84.3%	0.1%	6
37.5%	62.4%	0.1%	7
46.8%	53.1%	0.1%	8
57.8%	39.8%	2.4%	9
64.6%	30.4%	5%	10
71.8%	20.3%	7.9%	11
74.1%	16.2%	9.7%	12
77.4%	10.7%	12%	13
78.6%	8.4%	13%	14

Compiler

Compiled 24 to 18 computations (25% saved)

sample1.1s (71.2%)

Results

1.1s	8256×	body	128	valid
46.0ms	359×	body	128	invalid

Compiler

Compiled 48 to 36 computations (25% saved)

preprocess32.0ms (2%)

Algorithm

2×	egg-herbie

Rules

462×	`fma-def_binary64`
403×	`associate-*l/_binary64`
376×	`div-sub_binary64`
322×	`associate-*r/_binary64`
211×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	64
1	60	58
2	184	58
3	759	58
4	3477	54
0	2	2

Stop Event

1×	saturated
1×	node limit

Compiler

Compiled 23 to 17 computations (26.1% saved)

simplify18.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

597×	`times-frac_binary64`
509×	`associate-/l*_binary64`
356×	`associate-/l/_binary64`
274×	`distribute-rgt-in_binary64`
238×	`fma-def_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	16	32
1	37	29
2	100	29
3	400	29
4	1790	28

Stop Event

1×	node limit

Counts

1 → 2

prune4.0ms (0.3%)

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

13.1b

Counts

3 → 2

Alt Table

Status	Error	Program
	13.2b	(.f64 (.f64 (/.f64 (PI.f64) 2) (/.f64 1 (-.f64 (.f64 b b) (.f64 a a)))) (-.f64 (/.f64 1 a) (/.f64 1 b)))
▶	13.2b	(/.f64 (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) 2) (-.f64 (.f64 b b) (.f64 a a)))

Status

Error

Program

13.2b

(*.f64 (*.f64 (/.f64 (PI.f64) 2) (/.f64 1 (-.f64 (*.f64 b b) (*.f64 a a)))) (-.f64 (/.f64 1 a) (/.f64 1 b)))

▶

13.2b

(/.f64 (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) 2) (-.f64 (*.f64 b b) (*.f64 a a)))

Compiler

Compiled 127 to 84 computations (33.9% saved)

localize12.0ms (0.8%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a))
✓	0.3b	(/.f64 (PI.f64) a)
✓	4.7b	(-.f64 (.f64 b b) (.f64 a a))
✓	7.6b	(/.f64 (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) 2) (-.f64 (.f64 b b) (.f64 a a)))

series32.0ms (2%)

Counts

4 → 72

Calls

21 calls:

3.0ms	(/.f64 (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) 2) (-.f64 (.f64 b b) (.f64 a a)))	b	0
3.0ms	(/.f64 (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) 2) (-.f64 (.f64 b b) (.f64 a a)))	a	0
2.0ms	(fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a))	b	inf
2.0ms	(/.f64 (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) 2) (-.f64 (.f64 b b) (.f64 a a)))	b	inf
2.0ms	(/.f64 (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) 2) (-.f64 (.f64 b b) (.f64 a a)))	a	-inf

rewrite0.0ms (0%)

Algorithm

1×	batch-egg-rewrite

Details

analyze354.0ms (22.5%)

sample1.1s (71.2%)

preprocess32.0ms (2%)

simplify18.0ms (1.1%)

prune4.0ms (0.3%)

localize12.0ms (0.8%)

series32.0ms (2%)

rewrite0.0ms (0%)

end0.0ms (0%)

Profiling